81. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
82. Conditio
پدیدآورنده : / by Peter B?╝rgisser, Felipe Cucker
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Computer science, Mathematics,Algorithms,Mathematical optimization,Distribution (Probability theory),Electronic books
رده :
E-BOOK
83. Contributions to Quantitative Linguistics :
پدیدآورنده : edited by Reinhard Köhler, Burghard B. Rieger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computational linguistics.,Linguistics.
رده :
P138
.
E358
1993
84. Control and Optimization with PDE Constraint
پدیدآورنده : / edited by Kristian Bredies, Christian Clason, Karl Kunisch, Gregory Winckel
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Differential equations, partial,Computer science, Mathematics,Numerical analysis,Mathematical optimization,Electronic books
رده :
E-BOOK
85. Cryptanalysis of Block Ciphers using Mixed-Integer Linear Programming
پدیدآورنده : IHAB SHAKIR,SHAKIR,
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Differential cryptanalysis, Linear Cryptanalysis, Mixed-Integer Linear Programming, MILP, AES,تحليل تفاضلی , تحلیل خطی , برنامه ریزی خطی milp , AES
86. Current Challenges in Stability Issues for Numerical Differential Equation
پدیدآورنده : / by Wolf-J?╝rgen Beyn, Luca Dieci, Nicola Guglielmi, Ernst Hairer, Jes??s Mar?ضa Sanz-Serna, Marino Zennaro
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Matrix theory,Differential Equations,Differential equations, partial,Computer science, Mathematics,Algorithms,Electronic books
رده :
E-BOOK
87. Delaunay mesh generation /
پدیدآورنده : Siu-Wing Cheng, Tamal Krishna Dey, Jonathan Richard Shewchuk
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Nets (Mathematics),Numerical grid generation (Numerical analysis),Triangulation
رده :
QA611
.
3
.
C43
2013
88. Derivative Securities and Difference Method
پدیدآورنده : / by You-lan Zhu, Xiaonan Wu, I-Liang Chern, Zhi-zhong Sun
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Differential equations, partial,Finance,Computer science, Mathematics,Numerical analysis,Electronic books
رده :
E-BOOK
89. Derivative Securities and Difference Methods
پدیدآورنده : by You-lan Zhu, Xiaonan Wu, I-Liang Chern.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Finance.,Mathematics.,Numerical analysis.
90. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
91. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
92. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده : A. Miola, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
93. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده : A. Miola, )Ed.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
94. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
95. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. ]CD[
پدیدآورنده : Alfonso Miola, ed
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA76
.
9
.
S88
I576
1993
96. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
پدیدآورنده : John Fitch )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
721
97. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
پدیدآورنده : Jacque Calmet, Carla Limongelli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
98. Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
پدیدآورنده : Alfonso Miola )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
722
99. Developments in Reliable Computing
پدیدآورنده : edited by Tibor Csendes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Computer science.,Electronic data processing.
100. Differentiable Optimization and Equation Solving
پدیدآورنده : by John Lawrence Nazareth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Algorithms.,Computer science-- Mathematics.,Management science.,Mathematical models.,Mathematical optimization.,Mathematics.,Mathematics.,Operations research.,Computational Mathematics and Numerical Analysis.,Mathematical Modeling and Industrial Mathematics.,Operations Research, Management Science.,Optimization.
